Перевод: со всех языков на все языки

со всех языков на все языки

разрешение вывода

См. также в других словарях:

  • Разрешение конфликта — в продукционных системах процедура выбора одного правила из нескольких правил, применимых при текущем состоянии рабочей памяти. См. также: Механизмы вывода Продукционные системы Финансовый словарь Финам …   Финансовый словарь

  • Разрешение (компьютерная графика) — У этого термина существуют и другие значения, см. Разрешение. Разрешение  величина, определяющая количество точек (элементов растрового изображения) на единицу площади (или единицу длины). Термин обычно применяется к изображениям в цифровой… …   Википедия

  • Разрешение экрана — Разрешение описывает, насколько детальным является данное изображение или процесс его создания. Термин обычно применяется к изображениям в цифровой форме, хотя его можно применить, например, для описания уровня грануляции фотопленки, фотобумаги… …   Википедия

  • ПРАВИЛО ВЫВОДА —         определяет переход от посылок к следствиям; более точно устанавливает соответствие между некоторой совокупностью высказываний (формул), наз. посылками, и одним определ. высказыванием (формулой), наз. логич. следствием из этих посылок.… …   Философская энциклопедия

  • Правило вывода —         правило преобразования некоторой формальной системы, дедуктивное правило, правило разрешение, регламентирующее допустимые способы переходов от некоторой совокупности утверждений (суждений (См. Суждение), высказываний (См. Высказывание)… …   Большая советская энциклопедия

  • Rete — эффективный алгоритм сопоставления с образцом для продукционных систем, экспертных систем и баз знаний , созданный Чарльзом Форги из Университета Карнеги Меллона. Впервые был описан в рабочем документе 1974 года, затем в докторской диссертации… …   Википедия

  • Алгоритм Rete — Rete[1]  эффективный алгоритм сопоставления с образцом для продукционных систем, экспертных систем и баз знаний, созданный Чарльзом Форги из Университета Карнеги Меллона. Впервые был описан в рабочем документе 1974 года, затем в докторской… …   Википедия

  • Натуральное исчисление —         исчисление естественного вывода, натуральная дедукция, общее название логических исчислений, введённых и изученных в 1934 немецким логиком Г. Генценом (и независимо польским логиком С. Яськовским) с целью формализации процесса логического …   Большая советская энциклопедия

  • Райс, Кондолиза — В Википедии есть статьи о других людях с такой фамилией, см. Райс. Кондолиза Райс Condoleezza Rice …   Википедия

  • Кандализа Райс — Кондолиза Райс Condoleezza Rice …   Википедия

  • Кондолизза Райс — Кондолиза Райс Condoleezza Rice …   Википедия

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»